The Observational Significance of System Requirements
نویسنده
چکیده
In the following we introduce a general semantic framework for system specification, based on the specification context between systems, system properties and system observations. The rationale of the chosen approach is discussed thoroughly in [4]. Technically, it draws implicitly on the mathematical properties of Galois schemes [3], structures based on Galois connections [5], which have already proved useful in Computer Science [7,9].
منابع مشابه
Application of triangulation approach in requirements engineering process: A study in analysis and design of the pediatrics epilepsy information system
Introduction: Requirements Engineering process is a crucial phase in software development. In order to achieve a successful design of health information systems (HISs), applying the best methodologies is essential. Therefore, the aim of the present study was to design pediatrics Epilepsy Information System (EPIS) as well as the use of triangulation approach in elicitation and validation of epil...
متن کاملDoes One Size Fit All? The Impact of Liquidity Requirements on Bank\'s Insolvency: Evidence from Iranian Listed Banks
According to the Basel III regulatory framework, uniform minimum liquidity requirements have been imposed on all types of banks. Using an agent-based model of a banking system, we investigate the effects of liquidity requirements on banks' insolvency under two policy experiments in one of which the minimum liquidity requirements are applied uniformly and in the other differentially across banks...
متن کاملIdentifying Requirements of a Self-care System on Smartphones for Preventing Coronavirus Disease 2019 (COVID-19)
Background: Smartphone applications play a pivotal role in management, providing care and preventing infectious diseases. It also has the potential impact on supportive and self-care. This study aimed to identify the requirements for a smartphones self-care system to prevent corona-virus (COVID-19). Materials & Methods: This was a descriptive study performed in two main stages in 2020. At the ...
متن کاملDetermining maintenance system requirements by viewpoint of availability and lean thinking: A MODM approach
Since lean concept has appeared many works have been done on decreasing or even eliminating of wastes such as extra inventory. Although these studies have not taken into account expected availability seriously. So in this paper, a Multiple Objective Decision Making (MODM) model has been developed by viewpoint of these subjects. They are decreasing wastes and increasing system availability. Wast...
متن کاملRequirements for Designing a Wearable Smart Blanket System for Monitoring Patients in Ambulance
Introduction: Nowadays, smart systems and advanced tools such as wearable systems have grown significantly in order to monitor patients and keep their condition under control. The aim of this study was to determine the requirements for designing a wearable smart blanket system (WSBS) to monitor patients in ambulance instantaneously. Method: After reviewing the characteristics of wearable system...
متن کامل